Fixed Points in the Ambient Logic
نویسنده
چکیده
We present an extension of the ambient logic with fixed points operators in the style of the μ-calculus. We give a simple syntactic condition for the equivalence between minimal and maximal fixpoint formulas and show how to subsume spatial analogues of the usual box and diamond operators.
منابع مشابه
Diagonal arguments and fixed points
A universal schema for diagonalization was popularized by N.S. Yanofsky (2003), based on a pioneering work of F.W. Lawvere (1969), in which the existence of a (diagonolized-out and contradictory) object implies the existence of a fixed-point for a certain function. It was shown that many self-referential paradoxes and diagonally proved theorems can fit in that schema. Here, we fi...
متن کاملGeometric spaces with no points
Some models of set theory are given which contain sets that have some of the important characteristics of being geometric, or spatial, yet do not have any points, in various ways. What’s geometrical is that there are functions to these spaces defined on the ambient spaces which act much like distance functions, and they carry normable Riesz spaces which act like the Riesz spaces of real-valued ...
متن کاملType-2 fuzzy logic based pitch angle controller for fixed speed wind energy system
In this paper, an interval Type-2 fuzzy logic based pitch angle controller is proposed for fixed speed wind energy system (WES) to maintain the aerodynamic power at its rated value. The pitch angle reference is generated by the proposed controller which can compensate the non-linear characteristics of the pitch angle to the wind speed. The presence of third dimension in the Type-2 fuzzy logic c...
متن کاملAn Adaptive Learning Game for Autistic Children using Reinforcement Learning and Fuzzy Logic
This paper, presents an adapted serious game for rating social ability in children with autism spectrum disorder (ASD). The required measurements are obtained by challenges of the proposed serious game. The proposed serious game uses reinforcement learning concepts for being adaptive. It is based on fuzzy logic to evaluate the social ability level of the children with ASD. The game adapts itsel...
متن کاملStrong convergence of variational inequality problem Over the set of common fixed points of a family of demi-contractive mappings
In this paper, by using the viscosity iterative method and the hybrid steepest-descent method, we present a new algorithm for solving the variational inequality problem. The sequence generated by this algorithm is strong convergence to a common element of the set of common zero points of a finite family of inverse strongly monotone operators and the set of common fixed points of a finite family...
متن کامل